441. Regulation of phytochemicals by molecular techniques /
پدیدآورنده : edited by John T. Romeo, James A. Saunders, and Benjamin F. Matthews.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Phytochemicals-- Molecular aspects, Congresses.,Phytochemicals-- Synthesis-- Regulation, Congresses.,Gene Expression Regulation.,Plants-- chemistry.,Phytochemicals-- Molecular aspects.,SCIENCE-- Life Sciences-- Biochemistry.
رده :
QK861
.
R38
vol
.
35eb
442. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
پدیدآورنده : ]edited by[ Harrie de Swart
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
رده :
QA
76
.
9
.
R36
2011
443. Research and development in intelligent systems XVII :
پدیدآورنده : Max Bramer, Alun Preece and Frans Coenen (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Expert systems (Computer science),Expert systems (Computer science) -- Congresses.
رده :
QA76
.
76
.
E95
M393
2001
444. Research and development in intelligent systems XVIII :
پدیدآورنده : Max Bramer, Frans Coenen, and Alun Preece (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Expert systems (Computer science),Expert systems (Computer science) -- Congresses.
رده :
QA76
.
76
.
E95
M393
2002
445. Research and education in robotics-EUROBOT 2008 :
پدیدآورنده : Achim Gottscheber, Stefan Enderle, David Obdrzalek (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Machine theory, Congresses.,Robotics, Congresses.,Robots, Congresses.,Informatique.,Machine theory.,Robotics.,Robots.,TECHNOLOGY & ENGINEERING-- Robotics.
رده :
TJ210
.
3
.
E976
2009eb
446. Research in systems analysis and design :
پدیدآورنده : Stanisław Wrycza (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : System analysis, Congresses.,System design, Congresses.,Systems programming (Computer science), Congresses.
رده :
QA76
.
9
.
S88
S54
2011
447. Reuse in the Big Data Era :
پدیدآورنده : Xin Peng, Apostolos Ampatzoglou, Tanmay Bhowmik (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Reusability, Congresses.,Systems engineering, Congresses.,Computer software-- Reusability.,Systems engineering.
رده :
QA76
.
76
.
R47
I587
2019
448. Reversible computation :
پدیدآورنده : Robert Glück, Tetsuo Yokoyama (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic -- Congresses.,Computer science -- Mathematics -- Congresses.,Reversible computing -- Congresses.
رده :
QA76
.
9
.
L63
R634
2013
449. RoboCup 2017 :
پدیدآورنده : Hidehisa Akiyama, Oliver Obst, Claude Sammut, Flavio Tonidandel (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Robotics, Congresses.,Soccer-- Computer simulation, Congresses.,Artificial Intelligence.,Image Processing and Computer Vision.,Software Engineering.,Special Purpose and Application-Based Systems.,Systems and Data Security.,User Interfaces and Human Computer Interaction.,Artificial intelligence.,Artificial intelligence.,Computer security.,Computers-- Computer Graphics.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Computers-- User Interfaces.,Expert systems-- knowledge-based systems.,Image processing.,Robotics.,Soccer-- Computer simulation.,Software Engineering.,User interface design & usability.
رده :
TJ210
.
3
450. Robotics and mechatronics :
پدیدآورنده : Richard (Chunhai) Yang, Yukio Takeda, Chunwei Zhang, Gu Fang, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mechatronics, Congresses.,Robotics, Congresses.,Mechatronics.,Robotics.
رده :
TJ210
.
3
.
I38
2017
451. Runtime verification :
پدیدآورنده : Christian Colombo, Martin Leucker (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
452. Scientific computing in electrical engineering :
پدیدآورنده : Ulrich Langer, Wolfgang Amrhein, Walter Zulehner, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electrical engineering-- Data processing, Congresses.,Engineering mathematics-- Data processing, Congresses.,Computational Science and Engineering.,Computer-Aided Engineering (CAD, CAE) and Design.,Electrical Engineering.,Mathematical Modeling and Industrial Mathematics.,Mathematics.,Simulation and Modeling.,Theoretical, Mathematical and Computational Physics.,Computer modelling & simulation.,Computer-aided design (CAD),Electrical engineering-- Data processing.,Electrical engineering.,Engineering mathematics-- Data processing.,Mathematical modelling.,Mathematical physics.,Maths for scientists.,TECHNOLOGY & ENGINEERING-- Mechanical.
رده :
TK5
453. Security, privacy, and applied cryptography engineering :
پدیدآورنده : Anupam Chattopadhyay, Chester Rebeiro, Yuval Yarom (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses.,Data encryption (Computer science), Congresses.,Computer security.,Data encryption (Computer science)
رده :
QA76
.
9
.
A25
454. Security protocols XXVI :
پدیدآورنده : Vashek Matyáš, Petr Švenda, Frank Stajano, Bruce Christianson, Jonathan Anderson (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses.,Artificial intelligence.,Computer security.,Computer security.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Information retrieval.,Network hardware.,Software Engineering.
رده :
QA76
.
9
.
A25
455. Security with intelligent computing and big-data services /
پدیدآورنده : Sheng-Lung Peng, Shiuh-Jeng Wang, Valentina Emilia Balas, Ming Zhao, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Big data, Congresses.,Computer security, Congresses.,Artificial intelligence.,Artificial intelligence.,Big data.,Computer security.,Computer security.,COMPUTERS-- Intelligence (AI) & Semantics.
رده :
QA76
.
9
.
A25
456. Self-assembling peptide systems in biology, medicine, and engineering /
پدیدآورنده : edited by Amalia Aggeli, Neville Boden, and Shuguang Zhang.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Protein engineering, Congresses.,Proteins-- Synthesis, Congresses.,Self-assembly (Chemistry), Congresses.,Chemical engineering.,Engineering.,Natural history.,Science.
رده :
TP248
.
65
.
P76
S45
2001eb
457. Service-Oriented Computing – ICSOC 2014 Workshops
پدیدآورنده : \ [Edited by] Farouk Toumani...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Electronic data processing -- Distributed processing -- Congresses,Service-oriented architecture (Computer science) -- Congresses.,داده‌پردازی -- پردازش توزبع شده -- کنگره ها ,معماری خدمات‌گرا (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
S4
2015
E-Book
,
458. Service orientation in holonic and multi-agent manufacturing :
پدیدآورنده : Theodor Borangiu, Damien Trentesaux, André Thomas, Sergio Cavalieri, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Manufacturing processes-- Automatic control, Congresses.,Multiagent systems, Congresses.,Service-oriented architecture (Computer science), Congresses.,Artificial intelligence.,Engineering.,Manufactures.
رده :
TS183
.
S47
2018
459. Service-oriented and cloud computing :
پدیدآورنده : Kung-Kiu Lau, Winfried Lamersdorf, Ernesto Pimentel (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cloud computing, Congresses,Service-oriented architecture (Computer science), Congresses
رده :
TK5105
.
5828
.
E86
2013
460. Service-oriented computing--ICSOC 2007 workshops
پدیدآورنده : Elisabetta Di Nitto, Matei Ripeanu (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering, Congresses,Computer network architectures, Congresses,Electronic commerce, Congresses,Electronic data processing-- Distributed processing, Congresses,Web services-- Design, Congresses
رده :
TK5105
.
5828
.
I27
2009eb
